page replacement optimal example